double to int conversion in java